Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
algorithm design
1
category theory
1 ?
 21,213,375 websites (safe search)

  1. Kestrel Institute

    * --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
    formal methods1
    algorithm design1
    category theory1
    correct by construction1
    program synthesis1
    Kestrel Institute0
    provably correct0

    www.kestrel.edu - 2009-04-09

security4 text categorization1 access control2 high energy physics1 nanoscience1 algorithms1 neural1 alarm2 nlp2 nuclear physics1 mathematical physics1 mathematics2 artificial intelligence2 physics2 networks3 nanotechnology2 text mining1 genetic2 number theory1 biotechnology2 geometry2 algebra2 cctv3 chemistry2

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.